A timed work ̄ow process model

نویسندگان

  • Hai Zhuge
  • To-yat Cheung
  • Hung-keng Pung
چکیده

An internet-based work ̄ow management system (WfMS) enables business participants to work co-operatively at sites belonging to di€erent time zones. Time-related factors have to be incorporated into the traditional work ̄ow processes so as to adapt to the globally distributed applications. This paper proposes a timed work ̄ow process model through incorporating the time constraints, the duration of activities, the duration of ̄ow, and the activity distribution with respect to the multiple time axes into the conventional work ̄ow processes. The model provides an approach for temporal consistency checking during both build-time and runtime. The proposed model and approach provide a vehicle for global business process modeling, planning and monitoring. Ó 2001 Elsevier Science Inc. All rights reserved.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Discovering Workflow Performance Models from Timed Logs

Contemporary work ow management systems are driven by explicit process models, i.e., a completely speci ed work ow design is required in order to enact a given work ow process. Creating a work ow design is a complicated time-consuming process and typically there are discrepancies between the actual work ow processes and the processes as perceived by the management. Therefore, we have developed ...

متن کامل

Contribution à la modélisation et à la vérification de processus workflow

Work ow technology, whose role is to automate business processes and to provide a support for their management, is today an active sector of research. This thesis deals with the modelling of the work ow processes and their analysis. These processes, probably constrained by shared resources or by durations of treatment, must be checked before being executed by their work ow management systems. I...

متن کامل

Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models

MATLAB/Simulink and its state machine design toolbox State ̄ow are widely-used industrial tools for the development of complex embedded systems. Due to the dynamic as well as heterogeneous nature of models that contain both Simulink and State ̄ow components, their analysis poses a dif®cult challenge. This paper outlines an approach to relate the semantics of both Simulink and State ̄ow and how to ...

متن کامل

Modeling a Bank ATM with Two Directions Places Timed Petri Net (TPN)

A Bank ATM is including controller, card authorization system and a teller unit .This paper explains howthis parts connects together. In this paper will be used of a new mode place in Petri nets. More systemsusually have a complex constructs. ATM will be simulated use of new mode place at this study. The Mainpart of this model is used of T.S.Staines model [1]. We discuss how a simple model of T...

متن کامل

Resource-Constrained Optimal Scheduling of Synchronous Data ow Graphs via Timed Automata∗

Synchronous data ow (SDF) graphs are a widely used formalism for modelling, analysing and realising streaming applications, both on a single processor and a multiprocessing context. E cient schedules are necessary to obtain maximal throughput with the optimum energy consumption in such a way that the number of resources used to run these applications is kept as low a possible. This paper presen...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000